CAVE

Run with best incumbent examples/spear_qcp_small/example_output/run_3 Cutoff 5
# Train instances 10 Walltime budget 50
# Test instances 10 Runcount budget inf
# Parameters 26 CPU budget inf
Deterministic False
Default Incumbent
-------------- Changed parameters: -------------- ----- -----
sp-clause-activity-inc 1 1.24374
sp-clause-decay 1.4 1.06506
sp-first-restart 100 309
sp-learned-clause-sort-heur 0 14
sp-learned-clauses-inc 1.3 1.40704
sp-learned-size-factor 0.4 1.19767
sp-orig-clause-sort-heur 0 10
sp-phase-dec-heur 5 3
sp-rand-var-dec-freq 0.001 0.05
sp-resolution 1 0
sp-restart-inc 1.5 1.5815
sp-update-dec-queue 1 0
sp-use-pure-literal-rule 1 0
sp-var-activity-inc 1 0.50737
sp-var-dec-heur 0 8
sp-variable-decay 1.4 1.6578
sp-max-res-lit-inc 1 inactive
sp-max-res-runs 4 inactive
sp-rand-var-dec-scaling 1 0.62238
sp-res-cutoff-cls 8 inactive
sp-res-cutoff-lits 400 inactive
sp-res-order-heur 0 inactive
sp-rand-phase-scaling 1 0.501992
-------------- Unchanged parameters: -------------- ----- -----
sp-clause-del-heur 2 2
sp-rand-phase-dec-freq 0.001 0.001
Default Incumbent
Train Test Train Test
PAR10 0.026 0.018 0.017 0.013
PAR1 0.026 0.018 0.017 0.013
Timeouts 0/10 0/10 0/10 0/10
Plot
Plot Plot

Plot
Plot
Plot
Plot
-------------------- Single importance: -------------------- --------------------
sp-var-dec-heur 0.507401
sp-learned-clause-sort-heur 0.087965
sp-orig-clause-sort-heur 0.0584569
-------------------- Pairwise importance: -------------------- --------------------
sp-var-dec-heur & sp-learned-clause-sort-heur 0.0834786
sp-var-dec-heur & sp-orig-clause-sort-heur 0.0700035
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Error
None 0.023745
Pre_featuretime 0.017694
ls_gsat_featuretime 0.017049
nvarsOrig 0.016467
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot